#ifndef TIMERS_H
#define TIMERS_H

void initTimer(void);
void __attribute__((__interrupt__, __shadow__, auto_psv)) _T1Interrupt(void);

#endif
